world war 2 executions